Rigorous object-oriented analysis

Object-oriented methods for analysis, design and programming are commonly used by software engineers. Formal description techniques, however, are mainly used in a research environment. We have investigated how rigour can be introduced into the analysis phase of the software development process by combining object-oriented analysis (OOA) methods with formal description techniques. The main topics of this investigation are a formal interpretation of the OOA constructs using LOTOS, a mathematical definition of the basic OOA concepts using a simple denotational semantics and a new method for object- oriented analysis that we call the Rigorous Object-Oriented Analysis method (ROOA). The LOTOS interpretation of the OOA concepts is an intrinsic part of the ROOA method. It was designed in such a way that software engineers with no experience in LOTOS, can still use ROOA. The denotational semantics of the concepts of object-oriented analysis illuminates the formal syntactic transformations within ROOA and guarantees that the basic object- oriented concepts can be understood independently of the specification language we use. The ROOA method starts from a set of informal requirements and an object model and produces a formal object-oriented analysis model that acts as a requirements specification. The resulting formal model integrates the static, dynamic and functional properties of a system in contrast to existing OOA methods which are informal and produce three separate models that are difficult to integrate and keep consistent. ROOA provides a systematic development process, by proposing a set of rules to be followed during the analysis phase. During the application of these rules, auxiliary structures are created to help in tracing the requirements through to the final formal model. As LOTOS produces executable specifications, prototyping can be used to check the conformance of the specification against the original requirements and to detect inconsistencies, omissions and ambiguities early in the development process

Distribuição/Identificação de contentores

Tese de mestrado integrado. Engenharia do Ambiente. Faculdade de Engenharia. Universidade do Porto. 201

Relação entre o IMC e a aptidão física : um estudo de caso com alunos obesos do 7º ano de escolaridade

Relatório de estágio de mestrado em Ensino de Educação Física nos Ensinos Básico e SecundárioApresento o meu Relatório de Estágio enquadrado no curso de mestrado em Ensino da Educação Física nos Ensinos Básico e Secundário, da Universidade do Minho, referente ao ano letivo de 2011 / 2012. Pretendo com este relatório descrever e refletir de forma crítica sobre o meu estágio realizado numa escola secundária a lecionar a disciplina de Educação Física a uma turma do 7º ano de escolaridade, a minha vivência, a minha evolução ao longo do ano, as tarefas desenvolvidas por mim e pelo núcleo de estágio e as dificuldades vividas. Irei expor as fases que antecederam o ensino propriamente dito, ou seja, as tarefas que antecedem ao ato de ensinar, como todos os tipos de planeamento e as análises de documentação. A metodologia abordada para lecionar as aulas e formas de avaliação irão ser apresentadas após a fase do planeamento. As problemáticas nas aulas, as dificuldades nas capacidades de reflexão e a solução para as superar irão ocupar também grande parte deste relatório. Na parte seguinte deste relatório, aborda-se as relações com a comunidade escolar, tais como as diversas atividades organizadas e promovidas, e as atividades em que participei e ajudei na organização. A parte final do relatório está reservada para a apresentação de um estudo de investigação desenvolvido por mim, que terá como tema a relação entre o IMC e aptidão física, um estudo de caso com quatro alunos obesos que não estavam aptos fisicamente e que com um programa específico de exercício com vista a melhorar a aptidão física e perda de peso, viram os seus resultados de aptidão física melhorarem em alguns testes.I present my practicum report framed in masters course in Teaching Physical Education in Elementary and Secondary Education, University of Minho, for the academic year 2011/2012. This report serves to describe the practicum during the school year 2011/2012 in a Secondary School, teaching the discipline of Physical Education to a 7th grade. My experiences, my developments, the tasks performed by me and the core stage, the difficulties experienced. I will demonstrate the steps leading up to the school itself, the tasks that precede the act of teaching, like all types of planning and analysis documentation. The methodology approached to teach classes and forms of assessment will be reported after the planning phase. The problems in the classroom, the difficulties in the capacity of reflection and the solution to overcome them will also occupy a large part of the report. In the next part of this report, we discuss the relationship with the school community, such as various activities organized and promoted, and the activities I participated in and helped in the organization. To finalize the report, the final part is reserved for a research project developed by me, which will be on the relationship between BMI and physical fitness, a case study with four students who were overweight and poor physical fitness with a specific program with exercises to improve physical fitness and weight loss, they saw their physical fitness improve in some tests

Cells: Segway for Genetically Desired Cattle through Embryotic Development Sequencings and Genetic Mapping

Cells have a direct relation to understanding cattle genetic information aside from the cell’s main role of housing genetic material. Gene presence being visible through phenotypic characteristics of living organisms allows for researchers to pinpoint specific genetic markers to access and evaluate the genetic information for desired visible traits. On a molecular level, through the interaction between cattle embryos and bovine cells, researchers can pair this information with current technological innovation to better understand on how genetics are manipulated naturally by environmental elements, which can have a direct effect on countries where cattle milk and meat production are the major contributors to economic stability. This overview of past, current, and potential future research involving cells can provide an understanding of the importance in cells and their relationship with biotechnology innovation. Through techniques involving cells and genetic analysis, various methods can be utilized to overcome limitations of cattle reproduction and increase the presence of desirable cattle traits, which in turn not only aid in the economic success of countries dependent on cattle products, but can also open the door to human therapeutics

Analysis of laminated beams using the natural neighbour radial point interpolation method

Neste trabalho aplica‐se o método sem malha natural neighbour radial point interpolation method (NNRPIM) à análise unidimensional de vigas laminadas, considerando a teoria de Timoshenko. O NNRPIM combina o conceito matemático dos vizinhos naturais com a interpolação radial pontual. Os diagramas de Voronoï permitem impor a conectividade nodal e construir a malha de fundo para efeitos de integração, por intermédio das células de influência. É apresentada a construção das funções de interpolação NNRPIM, sendo, para estas, usada a função de base radial multiquadrática. As funções de interpolação geradas possuem continuidade infinita e a propriedade de delta Kronecker, o que facilita a imposição das condições de fronteira, uma vez que estas podem ser impostas com o método da imposição direta, tal como no método dos elementos finitos (FEM). De modo a obter o campo de deslocamentos e de deformações, a teoria de deformação de Timoshenko para vigas sujeitas a esforços transversos é considerada. Vários exemplos numéricos de vigas isotrópicas e vigas laminadas são apresentados de modo a demonstrar a convergência e a exatidão da aplicação proposta. Os resultados obtidos são comparados com soluções analíticas disponíveis na literatura.In this work, a meshless method, “natural neighbour radial point interpolation method” (NNRPIM), is applied to the one‐dimensional analysis of laminated beams, considering the theory of Timoshenko. The NNRPIM combines the mathematical concept of natural neighbours with the radial point interpolation. Voronoï diagrams allows to impose the nodal connectivity and the construction of a background mesh for integration purposes, via influence cells. The construction of the NNRPIM interpolation functions is shown, and, for this, it is used the multiquadratic radial basis function. The generated interpolation functions possess infinite continuity and the delta Kronecker property, which facilitates the enforcement of boundary conditions, since these can be directly imposed, as in the finite element method (FEM). In order to obtain the displacements and the deformation fields, it is considered the Timoshenko theory for beams under transverse efforts. Several numerical examples of isotropic beams and laminated beams are presented in order to demonstrate the convergence and accuracy of the proposed application. The results obtained are compared with analytical solutions available in the literature.Peer Reviewe

Proposta de uma plataforma digital colaborativa para a preservação da memória cultural

Mestrado em Comunicação MultimédiaO presente estudo aborda uma proposta da plataforma tecnológica capaz de armazenar registos áudio visuais do património material e imaterial de um local, com a colaboração dos utilizadores das novas tecnologias da comunicação e informação. Acontecimentos como por exemplo catástrofes naturais ou até a destruição causada pela guerra podem afetar direta ou indiretamente “lugares” ou artefactos integrados no património dos povos. Também o furto de peças de valor ou a destruição de edifícios têm como consequência o facto das gerações vindouras ficarem privadas do acesso a heranças/memórias passadas. O surgimento das tecnologias de informação e comunicação, em particular a internet, tem causado mudanças na sociedade a nível mundial, devido à capacidade de esta tecnologia penetrar em quase todas as áreas da atividade humana. A metodologia utilizada está dividida em seis etapas revisão da literatura, elaboração de um guião de observação, análise dos dados, definição de requisitos funcionais do protótipo, elaboração do protótipo (de baixa fidelidade) e validação do protótipo através de FocusGroup. Na construção do protótipo registaram-se algumas dificuldades na implementação da interatividade e registo de dados.The present study talks about / approaches a proposal of a / the technological platform capable of saving / storing visual and audio records of the tangible and intangible patrimony of a place, with the collaboration of the Information and communication technology (ICT) users. Events like, for example, natural disasters or even the destruction caused by war, can directly or indirectly affect the "places" or artefacts integrated in the civilizations’ patrimony. Furthermore, the theft of valuables or the destruction of buildings have as consequence the fact that future generations are deprived of accessing to legacies or past memories. The emergence of the information and communication technologies, in particular the Internet, has caused changes in the society worldwide due to the ability of this technology to penetrate in almost all the areas of the human activity. The methodological process used in this investigation followed six steps: literature review, elaboration of an observation script, data analysis, definition of functional requirements of the prototype, elaboration of the prototype (of low fidelity) and validation of the prototype through FocusGroup. In the construction of the prototype there were some difficulties in the implementation of the interactivity and data recording

Plano estratégico de melhoramento nos ovinos Serra da Estrela

A ovelha Serra da Estrela é a principal raça ovina leiteira do país, com 2 variedades: branca (em maior número) e preta. Os principais produtos resultantes da exploração destes animais são o leite (através da sua transformação em Queijo Serra da Estrela) e a carne (através da comercialização de borregos com 30 a 40 dias de idade), ambos de Denominação de Origem Protegida (DOP). Tem sido através da intervenção, a vários níveis, da Associação Nacional de Criadores de Ovinos Serra da Estrela (ANCOSE), que esta raça se tem mantido, nomeadamente, através das acções reprodutivas nas explorações (IA, sincronização de cios, utilização de machos seleccionados) e da recolha e organização da informação genealógica e produtiva (através dos contrastes funcionais de lactação). A informatização integrada e mais racional desta informação, realizada nos últimos anos, tornou possível a execução de outras atividades, nomeadamente, a caracterização genética por análise demográfica e avaliação genética da raça. Com este trabalho pretende-se, através da análise da informação disponível no Livro Genealógico da raça, cedida pela ANCOSE, estudar vários parâmetros que contribuem para a caracterização demográfica da raça Serra da Estrela e a sua avaliação genética. Foram considerados 302911 animais, 401177 partos de 144024 ovelhas, para estimação dos valores genéticos da PROL e 351720 registos de lactações de 131760 ovelhas, para estimação dos valores genéticos da PL150 obtidos em 844 explorações e registados entre 1986 e 2012. Estes resultados auxiliarão na definição das estratégias futuras para a gestão destas populações e à sua utilização em esquemas de selecção desta raça, propondo-se um plano estratégico, com actuações a vários níveis. Nos últimos anos as estratégias de melhoramento genético dos animais por selecção evoluiu consideravelmente. Através das estimativas dos valores genéticos dos animais, obtidas a partir das suas performances e dos seus parentes, pretende-se seleccionar os animais geneticamente superiores para as características mais importantes.ABSTRACT: The Serra da Estrela sheep is the main dairy sheep breed in the country, with two varieties: white (in greater numbers) and black. The main products resulting from the operation of these animals are milk (through its transformation in Serra da Estrela cheese) and meat (through the sale of lambs 30-40 days old), both of Protected Designation of Origin (PDO). Has been through the intervention at various levels , the National Association of Sheep Breeders Serra da Estrela (ANCOSE) , this breed has been maintained, particularly through the actions reproductive farms (AI , estrus synchronization , use of selected males) and the collection and organization of genealogical information and productive (via contrast functional lactation). A more rational and integrated computerization of this information, held in recent years has made possible the implementation of other activities, including a genetic analysis by demographic and genetic evaluation of the breed. With this work we intend, through analysis of available information in the Stud Book of the race, courtesy ANCOSE, studying various parameters that contribute to the racial demographics of Serra da Estrela and its genetic evaluation. 302 911 animals were considered, 401177 births of 144024 sheep, for estimation of genetic parameters and breeding values of PROL and 131760 sheep with 351720 lactation records for estimation of genetic parameters and breeding values of PL150, registered in 844 flocks, between 1986 and 2012. These results will assist in defining future strategies for the management of these populations and their use in selection schemes of this race, proposing a strategic plan, with performances at various levels. In recent years, breeding strategies for selection of animals evolved. Through the estimation of breeding values obtained from their performances and their relatives, we intend to select genetically superior to the most important features